Cambridge Semantics - PDFSEARCH.IO - Document Search Engine

Cambridge Semantics
Results: 79

#	Item
31	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
32	1 Distributed Games and Strategies Glynn Winskel, Computer Laboratory, University of Cambridge Abstract—A summary of work on distributed games and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:45 Applied mathematics Determinacy Minimax Nash equilibrium Normal-form game Strategy Independence Denotational semantics Nim Game theory Mathematics Problem solving
33	Formalizing an Extensional Semantics for Units of Measure Andrew J. Kennedy Microsoft Research Cambridge Bugs caused by units-of-measure errors can have catastrophic Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 12:09:41 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Logic Interpretation Model theory
34	HENRY LIEBERMAN AND HUGO LIU FEASIBILITY STUDIES FOR PROGRAMMING IN NATURAL LANGUAGE Media Lab, Massachusetts Institute of Technology, Cambridge, MA, USA Add to Reading List Source URL: larifari.org Language: English - Date: 2014-02-14 14:48:52 Computational linguistics Natural language processing User interfaces Multimodal interaction Pacman Programming language Semantics Natural language user interface Natural language understanding Software Application software Digital media
35	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Part IA: Structure of Papers 1 and 2 in 2015 Paper 1 Section A Attempt 1 question Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-04-13 06:49:04 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
36	Cambridge University Press2 - Figurative Language Barbara Dancygier and Eve Sweetser Excerpt More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2014-02-07 06:30:11 Semantics Figures of speech Literary techniques Tropes Rhetoric Metaphor Eve Sweetser Literal and figurative language Conceptual metaphor Literature Linguistics Narratology
37	Delimited continuations in natural language Quantification and polarity sensitivity Chung-chieh Shan Harvard University 33 Oxford Street Cambridge, MAUSA Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:26 Binding Generalized quantifier Quantification Entailment Constructible universe First-order logic Denotational semantics Symbol Ground expression Logic Semantics Mathematical logic
38	Natural Language Engineering 16 (4): 359–389. doi:[removed]S1351324910000124 c Cambridge University Press 2010 Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2012-08-15 11:40:54 Logical consequence Natural language processing Computational linguistics Semantic similarity Semantics Lexical semantics Textual entailment Euclidean vector Analogy Logic Science Linguistics
39	No-Choice Parameters and the Limits of Syntactic Variation Theresa Biberauer1,2, Ian Roberts1 and Michelle Sheehan1 1 University of Cambridge and 2Stellenbosch University Add to Reading List Source URL: www.lingref.com Language: English - Date: 2014-06-26 21:51:43 Grammar Semantics Philosophy of language Principles and parameters Antisymmetry Parameter Parsing Universal grammar Negation Linguistics Language Generative linguistics
40	Robust Photo Retrieval Using World Semantics Hugo Liu, Henry Lieberman * MIT Media Laboratory Software Agents Group 20 Ames St., E15-320G Cambridge, MA 02139, USA Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2003-01-24 17:07:38 Computational linguistics Cognition Artificial intelligence Knowledge representation Natural language processing Open Mind Common Sense Word-sense disambiguation Semantic similarity Spreading activation Science Linguistics Semantics

UPDATE